Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
601	Verified Compilation for Shared-memory C Lennart Beringer1 , Gordon Stewart1 , Robert Dockins2 , and Andrew W. Appel1 1 2 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-02-21 09:31:36 Software engineering Computing Computer programming Compiler construction Data types Variable C++ Functional languages Compiler correctness Thread-local storage Pointer C dynamic memory allocation
602	The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University Add to Reading List Source URL: www.itu.dk Language: English - Date: 2004-11-03 09:40:39 Logic in computer science Lambda calculus Models of computation Combinatory logic First-order logic Substitution Symbol Natural deduction
603	Verification of a Cryptographic Primitive: SHA-256 ANDREW W. APPEL, Princeton University A full formal machine-checked verification of a C program: the OpenSSL implementation of SHA-256. This is an interactive proof of f Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-12-23 10:16:22 Software engineering Programming language theory Theoretical computer science C++ Logic in computer science Proof assistants Data types SHA-2 Formal verification Separation logic Coq Functional programming
604	Microsoft Word - writproj_title.doc Add to Reading List Source URL: www.cs.sjsu.edu Language: English - Date: 2008-01-23 11:12:16 Proof assistants Software Programming language theory Functional languages Type theory Coq Agda Theorem Metamath Coenzyme Q10 Mathematical proof Mathematical logic
605	Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-03-22 10:21:52 Logic Declarative programming Software engineering Symbol Standard ML Substitution Model theory
606	Evaluating the Design of the R Language Objects and Functions For Data Analysis Flor´eal Morandat Brandon Hill Add to Reading List Source URL: r.cs.purdue.edu Language: English - Date: 2012-06-20 16:56:12 Subroutines Closure Scope R Parameter Lazy evaluation Monad Fold Futures and promises Functional programming Multiple dispatch Variable
607	Under consideration for publication in J. Functional Programming 1 Translation of Tree-processing Programs into Stream-processing Programs Add to Reading List Source URL: www.kb.ecei.tohoku.ac.jp Language: English - Date: 2007-08-16 22:48:55
608	Cyber Security Challenge Australia 2014 www.cyberchallenge.com.au CySCA2014 Shellcoding Writeup Background: Mad Programming Skillz Pty. Ltd. have contracted FortCerts to provide functional Add to Reading List Source URL: cyberchallenge.com.au Language: English - Date: 2015-08-16 20:28:08
609	Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1 Add to Reading List Source URL: www.it.uu.se Language: English - Date: 2006-09-28 09:58:04 Software engineering Computing Computer programming Type theory Concurrent programming languages Type systems Functional languages Data types Erlang Type inference Scala HindleyMilner type system
610	Introduction to Supercompilation Morten Heine B. Srensen and Robert Gluck Department of Computer Science, University of Copenhagen (DIKU) Universitetsparken 1, DK-2100 Copenhagen , Denmark , glueck@diku.d Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:17 Higher-order functions Programming language comparisons Functional languages Refal Orders of magnitude Fold Substitution Ys Map Standard ML Haskell features

UPDATE